1. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
المؤلف: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
2. Logic program synthesis and transformation :
المؤلف: T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programación lógica -- Congresos.,Programación lógica -- Congresos.
رده :
QA76
.
63
T635
1992
3. Logic programming and Automated reasoning
المؤلف: Logic programming and Automated reasoning
المکتبة: (کرمان)
موضوع: Logic programming
رده :
QA
76
.
73
.
L6
1992
4. Logic programming and Automated reasoning
المؤلف: Logic programming and Automated reasoning
المکتبة: (کرمان)
موضوع: Logic programming
رده :
QA
76
.
73
.
L6
1992
